PURE-INJECTIVES RELATIVE TO A COTORSION PAIR: APPLICATIONS
نویسندگان
چکیده
منابع مشابه
Relative Cotorsion Modules and Relative Flat Modules
Let R be a ring, M a right R-module, and n a fixed non-negative integer. M is called n-cotorsion if Extn+1 R N M = 0 for any flat right R-module N . M is said to be n-flat if ExtR M N = 0 for any n-cotorsion right R-module N . We prove that ( n n is a complete hereditary cotorsion theory, where n (resp. n) denotes the class of all n-flat (resp. n-cotorsion) right R-modules. Several applications...
متن کاملA Relative Dependency Pair Framework
Relative rewriting and the dependency pair framework (DP framework) are two strongly related termination methods. In both formalisms we consider whether the combination of two TRSs allows an infinite derivation: Relative termination of R/S can be defined as strong normalization of →R · →S . Finiteness of a DP problem (P,R) can be defined as strong normalization of →P · →R where → allows steps o...
متن کاملPure Injectives and the Spectrum of the Cohomology Ring of a Finite Group
Let G be a finite group and k be a field of characteristic p. The connection between the modular representations and the cohomology of G has been a subject of major interest over the last several years. For example, recent study of the stable category of kG-modules StMod(kG) led Rickard [27] to introduce certain idempotent modules and functors. This has led to a theory of varieties for infinite...
متن کاملReducing Relative Termination to Dependency Pair Problems
Relative termination, a generalized notion of termination, has been used in a number of different contexts like proving the confluence of rewrite systems or analyzing the termination of narrowing. In this paper, we introduce a new technique to prove relative termination by reducing it to dependency pair problems. To the best of our knowledge, this is the first significant contribution to Proble...
متن کاملTilting Cotorsion Pairs
Let R be a ring and T be a 1-tilting right R-module. Then T is of countable type. Moreover, T is of finite type in case R is a Prüfer domain.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glasgow Mathematical Journal
سال: 2012
ISSN: 0017-0895,1469-509X
DOI: 10.1017/s001708951200033x